(высказывания в логике)

См. также в других словарях:

• ОПИСАТЕЛЬНО-ОЦЕНОЧНЫЕ ВЫСКАЗЫВАНИЯ — высказывания, играющие в одних контекстах роль описаний, а в других роль оценок. Описание и оценка представляют собой два противоположных отношения утверждений к действительности: истинностное и ценностное (см. ЯЗЫКА ФУНКЦИИ ). О. о.в. соединяют… …   Философская энциклопедия

• КОНТРАФАКТИЧЕСКИЕ ВЫСКАЗЫВАНИЯ —     КОНТРАФАКТИЧЕСКИЕ ВЫСКАЗЫВАНИЯ высказывания в сослагательной форме с союзом “если бы... то бы...”: “Если бы ледники продвинулись на сотню километров южнее, то процесс обледенения Земли был бы необратим”, “Если бы Клеопатра не была красавицей …   Философская энциклопедия

• ТЕОРИЯ В ЛОГИКЕ —     ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… …   Философская энциклопедия

• Абсурд (в логике) — Абсурд (от лат. absurdus, «нестройный, нелепый»; от лат. ad absurdum, «исходящий от глухого»)  нечто нелогичное, нелепое, противоречащее здравому смыслу. Абсурдным считается выражение, которое внешне не является противоречивым, но из которого все …   Википедия

• ТОЖДЕСТВА ЗАКОН —         (лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая опре дел. истинностное значение, должна сохранять свою первонач. форму и… …   Философская энциклопедия

• Высказывание — Высказывание  единица речевого общения. Потребность в выделении высказывания как лингвистического понятия связана с углублением исследования функционирования языковых форм в речи. Высказывание определяется по отношению к понятию предложения.… …   Лингвистический энциклопедический словарь

• пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… …   Словарь терминов логики

• ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …   Философская энциклопедия

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… …   Философская энциклопедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия